درستی یابی صوری سیستم های شی ء بنیاد توسط جبر پردازه ای
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تهران
- نویسنده حسین حجت
- استاد راهنما مرجان سیرجانی ناصر یزدانی
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1386
چکیده
چکیده ندارد.
منابع مشابه
طراحی سیستم اطلاعاتی خرید با استفاده از متدولوژی شی ء گرا و مقایسه آن با متدولوژی ساخت یافته
در این مقاله پس از ذکر مقدمه ای کوتاه، ضمن بیان انواع سیستم های اطلاعاتی و طبقه بندی انواع مختلف متدولوژی ها، دیدگاه و متدولوژی شی ءگرا به تفصیل مورد بحث قرار گرفته است. سپس از متدولوژی شی ء گرا برای طراحی یک سیستم اطلاعاتی مکانیزه خرید برای دو فرایند اصلی خرید داخلی و خارجی در صنعت خودرو، استفاده می شود. از این رو واحد خرید یکی از شرکت های فعال در زمینه خودرو سازی (شرکت سازه گستر سایپا) انتخاب...
متن کاملیک روش صوری برای توصیف و درستی یابی ترکیبی سیستم های نرم افزاری مبتنی بر مولفه ها
چکیده ندارد.
15 صفحه اولپیاده سازی سیستم ردگیر شی ء متحرک برمبنای ترکیب ویژگیها روی fpga
الگوریتم انتقال میانگین، یکی از روش های کارا در زمینه ردیابی محسوب می شود. از آنجایی که این الگوریتم تنها مبتنی بر ویژگی رنگ است در صورت حضور چند شیء با رنگ مشابه در صحنه و یا تغییرات زیاد نور صحنه ، ردیابی به کمک الگوریتم انتقال میانگین با مشکل مواجه می شود. برای غلبه بر این مشکلات می توان از الگوریتم انتقال میانگین بر مبنای ترکیب دو یا چند ویژگی استفاده کرد. از آنجاییکه مسئله ردیابی بلادرنگ ا...
شی ء طبیعی و مصنوعات تکنولوژیک: از دوگانه انگاری تا این همانی (بررسی و نقد چند دیدگاه)
آیا می توان تمایزی میان امور طبیعی و مصنوعات قائل شد؟ و یا فارغ از دوگانة مصنوع طبیعی باید به جهان هستی نگریست؟ پاسخ به این سؤالات، جایگاه فلیسوف تکنولوژی رادر مواجهه با مصنوع تکنیکی مشخص می کند و مسائل چال شبرانگیزی را با خود به همراهمی آورد. در این مقاله تلاش م یشود تا به این سؤال ها از منظرهای مختلف پاسخ دادهشود.ابتدا، دیدگاه فلاسفة معاصر در رابطه با تمایز میان امر مصنوع و طبیعی ارائهمی شودک...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تهران
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023